Bhartrhari's Superimposition Theory for Universals

Concrete Universals in Category Theory

Semantic Universals and Choice Function Theory

A Formal Theory of Conceptual Modeling Universals

Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate the ontological correctness of conceptual models and to develop guidelines for how the constructs of a modeling language (UML) should be used in...

Toward a theory of contact, substrates, and superimposition zones*

A Formal Theory of Substances, Qualities, and Universals

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ont...